#!/bin/bash

export PIDFILE=~/.cred_server.pid
 
echo Killing credentials store process $PIDFILE 
kill -9 `cat ${PIDFILE}`

rm $PIDFILE